Programming and execution models for parallel bounded exhaustive testing

Reducing the Costs of Bounded-Exhaustive Testing

Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test inputs and provides test oracles that check test outputs; then the tool generates all the inputs, executes them on the code under test, and checks the outputs; and finally the user inspects failing tests to submit bug reports. ...

CHR Exhaustive Execution - Revisited

Constraint Handling Rules (CHR) apply guarded rules to rewrite constraints in a constraint store, until a final state is reached in which no more rules are applicable. The rules cannot be retracted, therefore CHR does not backtrack over alternatives. In this paper, a novel source-to-source transformation is proposed, which transforms any given CHR program to one that backtracks over all possibl...

Parallel Execution Models for Constraint Propagation

Constraint propagation algorithms present inherent parallelism. Each constraint behaves as a concurrent process triggered by changes in the store of variables, updating the store in its turn. There is an inherent sequentiality, as well, since a constraint must be executed only as the consequence of a previous execution of another constraint. We have developed di erent parallel execution models ...

Implementing Bounded Linear Programming and Analytical Network Process Fuzzy Models to Motivate Employees: a Case Study

In this research, the factors affectinguniversity employees’ motivation and productivity are identified and classified in seven groups; the impact of each motivation factor on the productivity is presented by ANP fuzzy model.Eight universities in Iran were analyzed in this research work. The aim of this study is to explore the productivity of employees. This paper attempts to give new insights ...

Programming Models for Parallel Computing